text view: Move touch selection a little further away

Otherwise, it looks cramped, and we end up under the finger.

diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c
index c96cc148fd3456cda0b93d131c4f9cf42f4ec79c..62dbf635b65c7fb0ca95ff590dbceca04c6e9ba6 100644 (file)
--- a/gtk/gtktextview.c
+++ b/gtk/gtktextview.c
@@ -9284,6 +9284,11 @@ bubble_targets_received (GtkClipboard     *clipboard,
 
   _text_window_to_widget_coords (text_view, &rect.x, &rect.y);
 
+  rect.x -= 5;
+  rect.y -= 5;
+  rect.width += 10;
+  rect.height += 10;
+
   gtk_popover_set_pointing_to (GTK_POPOVER (priv->selection_bubble), &rect);
   gtk_widget_show (priv->selection_bubble);
 }